ReP USP - Resultado da busca

Trabalho de evento
Specifying preferences over policies using branching time temporal logic (2023)
Machado, Warlles Carlos Costa; Santos, Viviane Bonadia dos ; Barros, Leliane Nunes de ; Menezes, Maria Viviane de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - (BRACIS). Unidade: IME
Assunto: CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MACHADO, Warlles Carlos Costa et al. Specifying preferences over policies using branching time temporal logic. 2023, Anais.. Cham: Springer, 2023. Disponível em: https://doi.org/10.1007/978-3-031-45368-7_9. Acesso em: 16 maio 2024.
APA
Machado, W. C. C., Santos, V. B. dos, Barros, L. N. de, & Menezes, M. V. de. (2023). Specifying preferences over policies using branching time temporal logic. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-45368-7_9
NLM
Machado WCC, Santos VB dos, Barros LN de, Menezes MV de. Specifying preferences over policies using branching time temporal logic [Internet]. Proceedings. 2023 ;[citado 2024 maio 16 ] Available from: https://doi.org/10.1007/978-3-031-45368-7_9
Vancouver
Machado WCC, Santos VB dos, Barros LN de, Menezes MV de. Specifying preferences over policies using branching time temporal logic [Internet]. Proceedings. 2023 ;[citado 2024 maio 16 ] Available from: https://doi.org/10.1007/978-3-031-45368-7_9
Trabalho de evento
Symbolic FOND planning for temporally extended goals (2022)
Santos, Viviane Bonadia dos ; Barros, Leliane Nunes de ; Pereira, Silvio do Lago; Menezes, Maria Viviane de
Source: Workshop. Conference titles: International Conference on Automated Planning and Scheduling - ICAPS. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, MODELOS PARA PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Viviane Bonadia dos et al. Symbolic FOND planning for temporally extended goals. 2022, Anais.. Singapore: Instituto de Matemática e Estatística, Universidade de São Paulo, 2022. Disponível em: http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf. Acesso em: 16 maio 2024.
APA
Santos, V. B. dos, Barros, L. N. de, Pereira, S. do L., & Menezes, M. V. de. (2022). Symbolic FOND planning for temporally extended goals. In Workshop. Singapore: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf
NLM
Santos VB dos, Barros LN de, Pereira S do L, Menezes MV de. Symbolic FOND planning for temporally extended goals [Internet]. Workshop. 2022 ;[citado 2024 maio 16 ] Available from: http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf
Vancouver
Santos VB dos, Barros LN de, Pereira S do L, Menezes MV de. Symbolic FOND planning for temporally extended goals [Internet]. Workshop. 2022 ;[citado 2024 maio 16 ] Available from: http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf
Dissertação (Mestrado)
Planejamento baseado em verificação simbólica de modelos (2018)
Santos, Viviane Bonadia dos ; Barros, Leliane Nunes de (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Viviane Bonadia dos. Planejamento baseado em verificação simbólica de modelos. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113624/. Acesso em: 16 maio 2024.
APA
Santos, V. B. dos. (2018). Planejamento baseado em verificação simbólica de modelos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113624/
NLM
Santos VB dos. Planejamento baseado em verificação simbólica de modelos [Internet]. 2018 ;[citado 2024 maio 16 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113624/
Vancouver
Santos VB dos. Planejamento baseado em verificação simbólica de modelos [Internet]. 2018 ;[citado 2024 maio 16 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113624/
Trabalho de evento
PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos (2017)
Santos, Viviane Bonadia dos; Barros, Leliane Nunes de
Source: Anais. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional - ENIAC. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Viviane Bonadia dos e BARROS, Leliane Nunes de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos. 2017, Anais.. Porto Alegre: SBC, 2017. Disponível em: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf. Acesso em: 16 maio 2024.
APA
Santos, V. B. dos, & Barros, L. N. de. (2017). PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos. In Anais. Porto Alegre: SBC. Recuperado de http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf
NLM
Santos VB dos, Barros LN de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos [Internet]. Anais. 2017 ;[citado 2024 maio 16 ] Available from: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf
Vancouver
Santos VB dos, Barros LN de. PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos [Internet]. Anais. 2017 ;[citado 2024 maio 16 ] Available from: http://comissoes.sbc.org.br/ce-ia/pg/historico/base/ENIAC-2017/Anais-ENIAC-2017.pdf

USP Schools

ReP

Filtros

Funding Agencies